#include <stdint.h>

namespace krnlib {
    class binaryloader {
    public:
        static uint64_t load(uint8_t*);
    private:
        static uint64_t jmp2addr(uint64_t);
    };
}
